Title: Internal definability and completeness in modal logic