first-order-logic tableaux Definition Complete Tableaux (First-Order Logic) A tableau is complete when all of its branches are complete.