A Completeness Theorem