<logic> A formal system in which there is an effective method for determining whether any given wff is a theorem. A system in which the set of theorems is a decidable set. The question whether a system is decidable is often called the Entscheidungsproblem, or decision problem.
See decidable set, effective proof procedure
[Glossary of First-Order Logic]
Try this search on OneLook / Google