Thanks for writing to health care magic.
It is better to give a tetanus toxoid
for this injury
Since he is vaccinated I request you to not to worry.
Look out for pus from the wound, fever
, difficulty for opening the mouth etc.
Your doctor may prescribe a local antibiotic
ointment and if required systemic antibiotics after examination.
Hope this helps.