The semantic tableaux given in the book‘An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof’by Andrews is a refutation method which can be directly used for sentence sets. Nevertheless,the soundness and completeness theorem (3201) of the semantic tableaux method and the proving process are incorrect. In this paper, we illustrate and correct the mistake. In addition, we prove the revised theorem of the soundness and completeness.