Text this: Completeness for the coalgebraic cover modality