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