If he had finished him off then, the current mess would have started a decade earlier.
If we had done it like we did with Japan and Germany, it might have been different. (Carpet bombing, nukes, ,total dejihadification of their society).