개요 만약 한 프로그램이 reject된다면 그 프로그램은 언제나 error을 가지고 있음을 의미한다. 예를 들어서 모든 프로그램을 accept하는 anaylzer는 completeness하다. (하지만 soundness하지는 않다.) 같이 보기 Soundness