code: public void complete() throws CompletionFailure {
          if (completer != Completer.NULL_COMPLETER) {
              Completer c = completer;
              completer = Completer.NULL_COMPLETER;
              c.complete(this);
          }
      }
docs: Complete the elaboration of this symbol's definition.