Update Proof.java

made the isComplete() function