Definition:Tableau Confutation

Definition
Let $\mathbf H$ be a set of WFFs of propositional logic.

A tableau confutation of $\mathbf H$ is a propositional tableau $T$ with root $\mathbf H$ such that every branch of $T$ is contradictory.

Also known as
When there is no danger of confusion, one often encounters confutation instead of tableau confutation.

If $\mathbf H = \left\{{\mathbf A}\right\}$ is a singleton set, then a confutation of $\mathbf H$ can be referred to as a confutation of $\mathbf A$.

Also defined as
Some sources stipulate that a propositional tableau be finite.

Also see

 * Tableau Confutation is Finished