Dig all these out or just mow?

Hi guys, very green when it comes to gardening. My turf was laid last year. Should I dig these weeds out or just mow over them? Will mowing them make them spread more? I don’t mind the odd one but I don’t want them to take over. Thank you