Talk:Finished Tableau has Finished Branch or is Confutation

Please see Definition talk:Tableau Confutation discussing whether a Definition:Tableau Confutation needs to be finite or not. 1996: H. Jerome Keisler and Joel Robbin: Mathematical Logic and Computability (the only source cited) specifically state that a tableau confutation needs to be finite, hence the need for Konig's Tree Lemma. --prime mover (talk) 07:36, 5 January 2014 (UTC)