Completeness Theorem


 * Completeness Theorem for Semantic Tableaus


 * Completeness Theorem for Propositional Tableaus and Boolean Interpretations
 * Extended Completeness Theorem for Propositional Tableaus and Boolean Interpretations


 * Completeness Theorem for Hilbert Proof System Instance 2 and Boolean Interpretations


 * Gödel's Completeness Theorem