diff --git a/client/src/components/Infoview.tsx b/client/src/components/Infoview.tsx
index 7f3bd54..c4dd6f8 100644
--- a/client/src/components/Infoview.tsx
+++ b/client/src/components/Infoview.tsx
@@ -68,6 +68,7 @@ function Infoview({ editor, editorApi, leanClient } : {editor: monaco.editor.ISt
   useEffect(() => {
     if (editor) {
       fetchInteractiveGoals()
+      checkCompleted()
       const t = editor.onDidChangeModel((ev) => {
         if (ev.newModelUrl) {
           setRpcSession(undefined)