A logical theory is complete if, in any context C, for every proposition P(x), either C⊢P(x) or C⊢¬P(x).