Halldén-completeness by gluing of Kripke frames