Tableau Confutation is Finished

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $T$ be a tableau confutation.


Then $T$ is a finished tableau.


Proof

By definition of tableau confutation, every branch of $T$ is contradictory.

The result follows by definition of finished propositional tableau.

$\blacksquare$


Sources