Complete Branch (First-Order Logic)

first-order-logic tableaux

Definition

Complete Branch (First-Order Tableaux)

A branch in a first-order tableau is complete when no further tableau rules can be applied to any signed formula on the branch.