No, but for practical reasons PCBs that have lead-free HASL should be
clearly marked stating their RoHS compatibility due to the risk of
confusion with leaded HASL.
Read whether RoHS compatible PCBs are halogen free