A consistent first-order theory is complete when it decides every sentence in its language.
Complete theory is a concept from model theory, a branch of mathematical logic. In this context, a theory \( T \) in a given language \( L \) is said to be complete if every statement (or sentence) in the language \( L \) is either provably true or provably false from the axioms of the theory \( T \).
New to topics? Read the docs here!