<logic> A wff that is either a theorem or the negation of a theorem. Either the wff or its negation is a theorem. Jargon: if wff A is decidable in system S, we often say that "S decides A".
[Glossary of First-Order Logic]
Try this search on OneLook / Google