More than likely yes. The color profile tells printers how to interpret the CMYK channels - if it's not in the file, then yes, it's likely to be considered "broken".
If the specification actually says that you have to have an associated profile to export a CMYK TIFF, we could perhaps lock the option (as we do with CMYK JPEGXL export).