# Definition:Theory (Logic)/Complete

(Redirected from Definition:Complete Theory)
Let $\LL$ be a language.
Let $T$ be an $\LL$-theory.
$T$ is complete if and only if:
for every $\LL$-sentence $\phi$, either $T \models \phi$ or $T \models \neg \phi$
where $T \models \phi$ denotes semantic entailment.