Refutation completeness