Decidable (Logic)
A theory T is decidable if there exists an effective procedure to determine whether ๐‘‡ โŠข ๐œ‘ where ๐œ‘ is any sentence of the language. Decidability implies completeness. Incompleteness implies undecidability. But decidable != complete; a complete language could be undecidable.