Worried about child developing measles

¦ We have three children under 10 years of age who have all been fully vaccinated.

We are just back from a weekend away with friends and have been told that one of the children we were with has developed measles.

Do I need to get a booster vaccination for my children?