Update Proof.java

made isComplete() function