Property of CST oposItion If every path of a complete systematic tableau is contradictory, then it is a finite tableauProperty of CST . Proposition . . If every path of a complete systematic tableau is contradictory, then it is a finite tableau. Yi Li (Fudan University) Discrete Mathematics June 4, 2013 8 / 17