Will this damaged tree be ok?

Hired a guy to do some support post repair and while we discussed concrete work I didn't realize he would do exploratory digging by cutting through a thick root of my oak tree. I don't think the cut went all the way through (maybe half diameter based on a poke test). Cut is about ten feet away from tree. Hoping it's not too bad but want to hear yall's thoughts.