Remark 8.7.2. The Hausdorff completion works in general with arbitrary valuated fields. Though the completion yields a TVS over the completion of the field, the field need not to be complete.